</a>
</p>
-<p class="cke-footer"> It's no contest, but we still race there
- Like the saintly tortoise and the godless hare
+<p class="cke-footer"> (1) _Of course_ we made sure it was actually too slow before making
+the ugly optimization.
</p>
<p class="cke-timestamp">Last Modified:
- March 13, 2008</p>
+ January 21, 2013</p>
</body>
</html>
\ No newline at end of file